Great! We should be careful in the future if we want to have more operations with chars inside the refinements, since they can be misleading since we are using only their int values.
If possible add a test with a char being used as an int like

// function
void write(int x){...}
// client
write('c');